﻿% Dạng 4.2.3 có phải{con vật} có da trơn / lông mao /.. / vỏ?


cau_hoi(lambda(X,TT)) --> tu_nghi_van1 ,thong_tin(TT) ,  dau_hoi.

thong_tin(TT) --> doi_tuong_thong_tin(DTTT), dong_tu, thuoc_tinh(TT), tu_nghi_van2,{arg(1,TT,DTTT)}.

tu_nghi_van1 --> [có,phải].

doi_tuong_thong_tin(X) --> [X].

doi_tuong_thong_tin(X) --> [con,X].

dong_tu --> [có].

thuoc_tinh(da(X,Y)) --> [Y].

tu_nghi_van2 --> [không].

dau_hoi --> [?].